rbx = 18446639111147233728
rbp = 18446660025507560816
rsp = 18446660025507560728
r12 = 18446639110725491712
r13 = 18446639110087388672
r14 = 18446639110477418752
r15 = 18446639110468935104
rip = 18446744071759471552
@#$ EXIT CODE $#@
0
